Serge Demeyer | Publications | E-mail Feedback
Last updated on Thursday, November 16, 2023
@inproceedings{Denil2011MPM,
author = {Joachim Denil and Antonio Cicchetti and
Matthias Biehl and De Meulenaere, Paul and
Romina Eramo and Serge Demeyer and Hans Vangheluwe},
booktitle = {Proceedings {MPM}'2011 (5th International Workshop on
Multi-Paradigm Modelling: Concepts and Tools)},
series = {Electronic Communications of the EASST},
title = {Automatic Deployment Space Exploration Using
Refinement Transformations},
year = {2011},
abstract = {To manage the complex engineering information for
real-time systems, the system under development may
be modelled in a high-level architecture de-
scription language. This high-level information
provides a basis for deployment space exploration as
it can be used to generate a low-level
implementation. During this deployment mapping many
platform-dependent choices have to be made whose
consequences cannot be easily predicted. In this
paper we present an approach to the automatic
exploration of the deployment space based on
platform-based design. All possible solutions of a
deployment step are generated using a refinement
trans- formation. Non-conforming deployment
alternatives are pruned as early as possible using
simulation or analytical methods. We validate the
feasibility of our approach by deploying part of an
automotive power window optimized for its real-time
be- haviour using an AUTOSAR-like representation.
First results are promising and show that the optimal
solution can indeed be found efficiently with our
approach.},
annote = {workshoppaper},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/711},
}